Constructive knowledge: what agents can achieve under imperfect information
نویسندگان
چکیده
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for “practical” or “constructive” knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same model checking complexity. Finally, we study properties of constructive knowledge and other operators in this non-standard semantics.
منابع مشابه
Social Value of Information and Optimal Communication Policy of Central Banks
Monetary policy as a tool for expectations management is believed to be most effective if it can coordinate the beliefs and expectations of the economic agents. The optimal communication policy is in an environment where central bank announcements are common knowledge and abundant information is complete transparency. The above conclusion is altered in the more realistic situation where economi...
متن کاملKnowledge Sharing in Coalitions
The aim of this paper is to investigate the interplay between knowledge shared by a group of agents and its coalition ability. We characterize this relation in the standard context of imperfect information concurrent game. We assume that whenever a set of agents form a coalition to achieve a goal, they share their knowledge before acting. Based on this assumption, we propose new semantics for a...
متن کاملA Logic of Knowledge and Strategies with Imperfect Information
In this paper we put forward Epistemic Strategy Logic (ESL), a logic of knowledge and strategies in contexts of imperfect information. ESL extends Strategy Logic by adding modal operators for individual and collective knowledge. This enhanced framework allows us to represent explicitly and to reason about the knowledge agents have of their own and other agents’ strategies. We provide a semantic...
متن کاملInflation Targeting under Imperfect Knowledge
A central tenet of inflation targeting is that establishing and maintaining well-anchored inflation expectations are essential. In this paper, we reexamine the role of key elements of the inflation targeting framework towards this end, in the context of an economy where economic agents have an imperfect understanding of the macroeconomic landscape within which the public forms expectations and ...
متن کاملRational play and rational beliefs under uncertainty
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for imperfect information games that allows to express strategic and epistemic properties of coalitions under uncertainty. In this paper, we propose a logic that extends csl with a notion of plausibility that can be used for re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Applied Non-Classical Logics
دوره 17 شماره
صفحات -
تاریخ انتشار 2007